Section: Dissemination

Teaching - Supervision - Juries

• Licence:

  Vincent Cheval, Introduction to Theoretical Computer Science (Logic, Languages, Automata), 69 hours (ETD), TELECOM Nancy.

  Jannik Dreier, Introduction to Theoretical Computer Science (Logic, Languages, Automata), 146 hours (ETD), TELECOM Nancy.

• Master:

  Véronique Cortier, Security of flows, 20 hours, M2 Computer Science, Telecom Nancy and Mines Nancy, France.

  Abdessamad Imine, Security for XML Documents, 12 hours (ETD), M1, Lorraine University, France.

  Steve Kremer, Security Theory, 24 hours (ETD), M2 Computer science, Lorraine University, France.

  Christophe Ringeissen, Decision Procedures for Software Verification, 18 hours (ETD), M2 Computer science, Lorraine University, France.

  Laurent Vigneron, Security of information systems, 22.5 hours (ETD), M2 Computer science, Lorraine University, France.

  Laurent Vigneron, Security of information systems, 24 hours (ETD), M2 MIAGE – Distributed Information Systems, Lorraine University, France.

  Laurent Vigneron, Security of information systems, 16 hours (ETD), M2 MIAGE – Audit and Design of Information Systems, Lorraine University, France.

• HDR defended in 2016:

  Abdessamad Imine, Data sharing in collaborative systems, defended on December 9.

• PhD defended in 2016:

  Rémy Chrétien, Decision procedures of equivalence properties, started in October 2012, Véronique Cortier and Stéphanie Delaune

  Huu Hiep Nguyen, Secure Collaboration in Mobile Social Networks, started in November 2013, Abdessamad Imine and Michaël Rusinowitch

• PhD discontinued in 2016:

  Éric Le Morvan, Secure composition of cryptographic protocols, started in October 2013, discontinued in June 2016, Véronique Cortier

• PhD in progress:

  Younes Abid, Privacy control for social networks, started in March 2015. Abdessamad Imine, Michaël Rusinowitch and Orpailleur co-advising.

  Antoine Dallon, Decision procedures for equivalence properties, started in November 2015, Véronique Cortier and Stéphanie Delaune

  Alicia Filipiak, Design and validation of security services for mobile platforms: smartphones and tablets, started in March 2015, Véronique Cortier

  Joseph Lallemand, Type systems for equivalence properties, started in September 2016, Véronique Cortier

  Ludovic Robin, Verification of cryptographic protocols using weak secrets, started in October 2014, Stéphanie Delaune and Steve Kremer